Micro electronic circuit design
P1143
Example12.4